Nuprl Lemma : es-state_wf 11,40

es:event_system{i:l}, i:Id. es-state(esi Type 
latex


Definitionses-state(esi), x:AB(x), es-vartype(esix), x:AB(x), Id, t  T, event_system{i:l}
Lemmasevent system wf, Id wf, es-vartype wf

origin